1. Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings
پدیدآورنده : John Lloyd...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1861
